function enter(pi) {
    pi.playPortalSound(); pi.warp(261000021, 0);
    return true;
}